The &-Prolog system: Exploiting independent and-parallelism
نویسندگان
چکیده
منابع مشابه
&-Prolog and its Performance: Exploiting Independent And-Parallelism
An Independent And-Parallel Prolog model and implementation, ¿¿-Prolog, are described. The description includes a summary of the system's architecture, some details of its execution model (based on the RAP-WAM model), and most importantly, its performance on sequential workstations and shared memory multiprocessors as compared with state-of-the-art Prolog systems. Speedup curves are provided fo...
متن کاملExploiting Recursion-Parallelism in Prolog
We exploit parallelism across recursion levels in a deterministic subset of Prolog. The implementation extends a convential Prolog machine with support for data sharing and process managment. Extensive global dataaow analysis is employed to facilitate parallelization. Promising performance gures, showing high parallel eeciency and low overhead for parallelization, have been obtained on a 24 pro...
متن کاملA Systematic Approach to Exploiting Implicit Parallelism in Full Prolog
Prolog is a practical declarative programming language based on Horn Logic. In this paper we argue that implicit parallelism can be extracted from full Prolog. By full Prolog we mean pure Prolog with extra-logical features such as side-eeects, database predicates and cuts. Prolog programs have three main forms of implicit parallelism present in them: or-parallelism, independent and-parallelism ...
متن کاملExploiting and-or parallelism in Prolog: The OASys computational model and abstract architecture
Different forms of parallelism have been extensively investigated over the last few years in logic programs and a number of systems have been proposed. OASys is an experimental parallel Prolog system that exploits and~or-parallelism and comprises a computational model, a compiler, an abstract machine and an emulator. OASys computational model combines the two types of parallelism considering ea...
متن کاملEstimating the Ingerent Parallelism in Prolog Programs
In this paper we describe a system for compile time instrumentation of Prolog programs to estimate the amount of inherent parallelism. Using this information we can determine the maximum speedup obtainable through OR-and AND/OR-parallel execution. We present the results of instrumenting a number of common benchmark programs, and draw some conclusions from their execution.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: New Generation Computing
سال: 1991
ISSN: 0288-3635,1882-7055
DOI: 10.1007/bf03037164